Generating embedded software from hierarchical hybrid models
نویسندگان
چکیده
منابع مشابه
Generating VHDL Source Code from UML Models of Embedded Systems
Embedded systems’ complexity and amount of distinct functionalities have increased over the last years. To cope with such issues, the projects’ abstraction level is being continuously raised, and, in addition, new design techniques have also been used to shorten design time. In this context, Model-Driven Engineering approaches that use UML models are interesting options to design embedded syste...
متن کاملHierarchical Hybrid Modeling of Embedded Systems
This paper describes the modeling language Charon for modular design of interacting hybrid systems. The language allows speci cation of architectural as well as behavioral hierarchy, and discrete as well as continuous activities. The modular structure of the language is not merely syntactic, but is exploited by analysis tools, and is supported by a formal semantics with an accompanying composit...
متن کاملGenerating Hierarchical State Based Representation From Event-B Models
Many properties of a system may not be obvious just by a quick inspection of the corresponding Event-B model. Users typically rely on animation, scenario analysis, and inspection of state transition graphs for discovering certain behavior of the system. We propose a methodology for generating a hierarchical representation of the system for visualising Event-B models. Our representation is succi...
متن کاملHierarchical Fault Detection in Embedded Control Software
We propose a two-tiered hierarchical approach for detecting faults in embedded control software during their runtime operation: The observed behavior is monitored against the appropriate specifications at two different levels, namely, the software level and the controlled-system level. (The additional controlledsystem level monitoring safeguards against any possible incompleteness at the softwa...
متن کاملGenerating Sound and Resource-Aware Code from Hybrid Systems Models
Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the implementation process. Although there are appropriate models to design such systems and some tools that support automatic code generation from such models, several issues related to ensuring correctness of the imple...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2003
ISSN: 0362-1340,1558-1160
DOI: 10.1145/780731.780756